function linebox() {
 document.write("documentation bibliotheque");
   }
function linx(url) {document.write("documentation bibliotheque");
	newwindow=window.open('url','linebox','height=200,width=150');
	if (window.focus) {newwindow.focus()}
	return false;
   }


